analyze -vhdl /chalmers/users/dhapar/hdv_ex1/trunk/PSL/structural_rtl.vhd
analyze -vhdl -psl /chalmers/users/dhapar/hdv_ex1/trunk/PSL/state_mac_and_counter_properties.psl

elaborate -vhdl -top statemachine(statemachine_behavioral)

clock clk
